521. Robust Model-Based Fault Diagnosis for Dynamic Systems
Author: by Jie Chen, Ron J. Patton.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Engineering.,Systems theory.
Classification :
TA169
.
6
B955
1999
522. Satisfiability problem :
Author: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
Classification :
QA9
.
3
.
S38
1997
523. Scheduling Theory. Single-Stage Systems
Author: by V. S. Tanaev, V. S. Gordon, Y. M. Shafransky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.,Operations research.,Production management.
Classification :
TS157
.
5
B987
1994
524. Scientific Computation with Automatic Result Verification
Author: edited by Ulrich Kulisch, Hans J. Stetter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Microprogramming.
525. Scientific Software Systems
Author: edited by J.C. Mason, M.G. Cox.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Science (General),Sciences -- General.
Classification :
QA76
.
95
E358
1990
526. Search methodologies :
Author: edited by Edmund K. Burke, Graham Kendall.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decision support systems.,Mathematical optimization.,Search theory.,Décision, Théorie de la.,Optimisation mathématique.,Systèmes d'aide à la décision.,Decision support systems.,Mathematical optimization.,Otimização matemática.,Search theory.,Sistemas de apoio à decisão.
Classification :
T58
.
62
527. Secure networked inference with unreliable data sources /
Author: Aditya Vempaty, Bhavya Kailkhura, Pramod K. Varshney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures.,Electronic data processing-- Distributed processing.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Computer network architectures.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.,Imaging systems & technology.,Maths for computer scientists.,Network hardware.
Classification :
TK5105
.
5
528. Security with intelligent computing and big-data services /
Author: Sheng-Lung Peng, Shiuh-Jeng Wang, Valentina Emilia Balas, Ming Zhao, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Big data, Congresses.,Computer security, Congresses.,Artificial intelligence.,Artificial intelligence.,Big data.,Computer security.,Computer security.,COMPUTERS-- Intelligence (AI) & Semantics.
Classification :
QA76
.
9
.
A25
529. Semantics for concurrency :
Author: [edited by] M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Parallel programming,Parallel programming (Computer science)
Classification :
QA76
.
6
E358
1990
530. Semi-physical verification technology for dynamic performance of internet of things system /
Author: Xiaolei Yu, Donghua Wang, Zhimin Zhao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Verification.,Internet of things.,Radio frequency identification systems.,Communications Engineering, Networks.,Electronics and Microelectronics, Instrumentation.,Engineering.,Microwaves, RF and Optical Engineering.,Vibration, Dynamical Systems, Control.,Communications engineering / telecommunications.,Computer systems-- Verification.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Dynamics & vibration.,Electronics engineering.,Internet of things.,Microwave technology.,Radio frequency identification systems.
Classification :
TK5105
.
8857
531. Shortest path solvers :
Author: Andrew Adamatzky, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.
Classification :
QA76
.
9
.
A43
532. Social information access :
Author: edited by Peter Brusilovsky, Daqing He.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Computer science.,Computers and civilization.,Data mining.,Information storage and retrieval systems-- Social sciences.,Social media.,User interfaces (Computer systems),Application software.,Computer science.,Computers and civilization.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Social Aspects-- General.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Data mining.,Data mining.,Ethical & social aspects of IT.,Information retrieval.,Information storage and retrieval systems-- Social sciences.,Social media.,Society & social sciences.,User interface design & usability.,User interfaces (Computer systems)
Classification :
QA76
.
76
.
A65
533. Soft Computing in Data Analytics :
Author: edited by Janmenjoy Nayak [and 4 others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining, Congresses.,Evolutionary computation, Congresses.,Human-computer interaction, Congresses.,Pattern recognition systems, Congresses.,Soft computing, Congresses.,COMPUTERS-- General.,Data mining.,Evolutionary computation.,Human-computer interaction.,Pattern recognition systems.,Soft computing.
Classification :
QA76
.
9
.
S63
534. Soft computing and medical bioinformatics /
Author: Naresh Babu Muppalaneni, Maode Ma, Sasikumar Gurumoorthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biomedical engineering.,Soft computing.,Medical Informatics.,Biomedical engineering.,HEALTH & FITNESS-- Holism.,HEALTH & FITNESS-- Reference.,MEDICAL-- Alternative Medicine.,MEDICAL-- Atlases.,MEDICAL-- Essays.,MEDICAL-- Family & General Practice.,MEDICAL-- Holistic Medicine.,MEDICAL-- Osteopathy.,Soft computing.
Classification :
R856
535. Software architectures and tools for computer aided process engineering /
Author: edited by Bertrand Braunschweig, Rafiqul Gani.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Chemical process control-- Data processing.,Computer architecture.,Computer integrated manufacturing systems.,Computer software.,Industries-- European Union countries.,Chemical process control-- Data processing.,Computer architecture.,Computer integrated manufacturing systems.,Computer software.,COMPUTERS-- CAD-CAM.,Industries.,European Union countries., 7
Classification :
QA76
.
754
.
S6448
2002eb
536. Software engineering :
Author: M.N. Hoda, Naresh Chauhan, S.M.K. Quadri, Praveen Ranjan Srivastava, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Human factors, Congresses.,Human computation, Congresses.,Software engineering, Congresses.,Computer software-- Human factors.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Human computation.,Software engineering.
Classification :
QA76
.
9
.
H84
537. Software engineering methods in intelligent algorithms :
Author: Radek Silhavy, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Engineering, Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Engineering.
Classification :
Q342
.
C66
2019
538. Solar PV and wind energy conversion systems :
Author: S. Sumathi, L. Ashok Kumar, P. Surekha.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Photovoltaic power generation-- Computer simulation.,Soft computing.,Wind energy conversion systems-- Computer simulation.,Alternative & renewable energy sources & technology.,Energy technology & engineering.,Photovoltaic power generation-- Computer simulation.,Power generation & distribution.,Power networks, systems, stations & plants.,Science-- Energy.,Soft computing.,Technology & Engineering-- Machinery.,Technology & Engineering-- Power Resources-- General.
Classification :
TK1087
539. Star identification :
Author: Guangjun Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Astrometry.,Navigation.,Stars.
Classification :
QB807
